#include "stdio.h"

#include "config.h"

extern char *xname;

void print_version() {
	printf("%s %s\n", xname, VERSION);
}

